val foo: int -> bool

